Merge<F, S>
type-challenges 599
2つのrecordを引数に取って、mergeしたrecordを返す
型レベルのSpread演算子のようなやつ
使用例
code:ts
type Foo = {
a: number;
b: string;
};
type Bar = {
b: number;
c: boolean;
};
type A = Merge<Foo, Bar>; // { a: number; b: number; c: boolean; }
定義例
無難
code:ts
type Merge<
F extends Record<string, unknown>,
S extends Record<string, unknown>,
= {
K in keyof F | keyof S:
K extends keyof S ? SK // 後ろ側であるSを先に書く
: K extends keyof F ? FK
: never;
};
MergeIntersections<T>と組み合わせた定義
code:ts
type Merge<
F extends Record<string, unknown>,
S extends Record<string, unknown>,
= MergeIntersections<Omit<F, keyof S> & S>;
ただintersectionするだけではだめ
code:ts
type Merge<..> = MergeIntersections<F & S>;
keyが競合した際にneverになるため挙動が変わる
型引数を使って型変数を宣言するやつ
code:ts
type Merge<
F extends Record<string, unknown>,
S extends Record<string, unknown>,
R = Omit<F, keyof S> & S,
= {
K in keyof R: RK;
};
なぜかこうは書けない
code:ts
type Merge<
F extends Record<string, unknown>,
S extends Record<string, unknown>
= {
K in keyof F | keyof S: K extends keyof S
? SK
: FK; // ここでerrorになる
};
K extends keyof Sを満たさなかった時、F[K]と書けるのは自然な様に思うができない
そのため、無駄にK extends keyof Fの条件を追加する必要がある
これはたぶんコンパイラがそこまで賢くないから？